Primitive data type - PDFSEARCH.IO - Document Search Engine

Primitive data type
Results: 215

#	Item
21	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Big-Oh Notation Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 15:21:38 Computational complexity theory Theory of computation Mathematics Data types Primitive types Theoretical computer science Analysis of algorithms Algorithm Boolean data type NP Time complexity String
22	PLTL Lesson Plan Last Edited: August 19, 2015 Topic: Arrays and Iterations Activity Guidelines Add to Reading List Source URL: cahsi.cs.utep.edu Language: English - Date: 2015-08-19 15:04:45 Data types Computing Atmospheric sciences Software engineering Weather forecasting Atmospheric thermodynamics Psychrometrics Primitive types For loop Humidity Array data type Lesson plan
23	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:31 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
24	Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2 Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-01-16 15:25:14 Data types Transaction processing Type theory Concurrency control Consistency model Eventual consistency Denotational semantics Extensible Storage Engine Primitive data type Parallel computing Type system Causal consistency
25	The Church-Scott representation of inductive and coinductive data in (typed) λ calculus Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2014-05-15 11:45:56 Computability theory Lambda calculus Recursion Theoretical computer science Type theory Combinatory logic Church encoding Initial algebra Primitive recursive function
26	Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2015-07-02 10:00:20 Type theory Computability theory Functional programming Theoretical computer science Recursion Initial algebra Lambda calculus Primitive recursive function Inductive type Catamorphism F-algebra
27	The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel1 and Koushik Sen2 1 2 Add to Reading List Source URL: mp.binaervarianz.de Language: English - Date: 2015-05-04 01:53:59 Software engineering Computing Computer programming Data types Operator Subtyping ALGOL 68 Boolean data type JavaScript Primitive data type Null Relational operator
28	A Fourth Look At ML Chapter Eleven Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:43:58 Programming language theory Data types Algebraic data type Enumerated type Type constructor Constructor Primitive data type ALGOL 68 C++ classes Software engineering Type theory Computing
29	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
30	512445GSFC JPSS CMO July 5, 2013 Released 00GSFC JPSS CMO July 5, 2013 Released Add to Reading List Source URL: suomi.gsfc.nasa.gov Language: English - Date: 1969-12-31 19:00:00 Data types Primitive types Procedural programming languages Computer file formats Hierarchical Data Format Array data structure Array data type Reference C Computing Software engineering Computer programming